#include<stdint.h>

#if defined LAC_LIGHT || defined LAC128
int NTT(int32_t *a);
int INTT(int32_t *a);
int poly_mul_ntt(const uint16_t  *a, const uint16_t *s, uint16_t *b);

int poly_mul_ntt_Lazy(const uint16_t  *a, const uint16_t *s, uint16_t *b);
#endif

